p{-}co{-}restrict($f$;$p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$f$ o p{-}co{-}filter($p$)